Communications: The electronic spectrum of Li(NH3)4

investigation of the electronic properties of carbon and iii-v nanotubes

boron nitride semiconducting zigzag swcnt, $b_{cb}$$n_{cn}$$c_{1-cb-cn}$, as a potential candidate for making nanoelectronic devices was examined. in contrast to the previous dft calculations, wherein just one boron and nitrogen doping configuration have been considered, here for the average over all possible configurations, density of states (dos) was calculated in terms of boron and nitrogen ...

the effect of the utilization of electronic dictionaries on depth and breadth of vocabulary knowledge: a case of iranian efl learners

مطالعه حاضر تلاشی است برای بررسی تأثیرات به کارگیری فرهنگ لغات ، یکی از مهمترین ابزارهای یادگیری واژگان درفراگیری زبان خارجی، بر روی دانش لغوی. دراین تحقیق فرهنگ های الکترونیکی در قیاس با فرهنگ های چاپی مورد بررسی قرارگرفته اند که آیا این فرهنگ ها تاثیرقابل توجهی بر روی دوبعد کمی و کیفی دانش لغوی یعنی عمق و گستره لغات می گذارند. همچنین مشخص گردیده است که آیا تفاوت قابل ملاحظه ای میان عمق و گستر...

Electronic Communications of the EASST

Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversio...

Electronic Communications of the EASST

In this paper we present a fully symbolic TCTL model checking algorithm for incomplete timed systems. Our algorithm is able to prove that a TCTL property is violated or satisfied regardless of the implementation of unknown timed components in the system. For that purpose the algorithm computes overapproximations of sets of states fulfilling a TCTL property φ for at least one implementation of t...

Electronic Communications of the EASST